منابع مشابه
Modelling Adaptive Systems in ForSyDe
Emerging architectures such as partially reconfigurable FPGAs provide a huge potential for adaptivity in the area of embedded systems. Since many system functions are only executed at particular points of time they can share an adaptive component with other system functions, which can significantly reduce the design costs. However, adaptivity adds another dimension of complexity into system des...
متن کاملModelling of Adaptive Hypermedia Systems
The amount of information on the web is permanently growing. The orientation within the information is becoming more and more complicated. It is necessary to develop a system able to adapt the information for the needs of the user and to personalize the presentation of information according to his/her preferences. In this paper we discuss current approaches used in the research, both advantages...
متن کاملHardware synthesis in ForSyDe
The ForSyDe (Formal System Design) methodology is targeted at modelling systems, with the goal of using a high level of abstraction in the specification of its models. Although it is a general system modelling methodology, the initial scope of ForSyDe has specifically been Synchronous Systems (systems in which a global clock is used to synchronize the different parts of the system). A well-know...
متن کاملHardware Design and Synthesis in ForSyDe
The ForSyDe (Formal System Design) methodology has been developed with the objective to move system-on-chip design to a higher level of abstraction. ForSyDe provides libraries for several models of computations (MoCs), which allow to model and simulate heterogeneous systems consisting of analog hardware, digital hardware, and software. ForSyDe is implemented as an EDSL (Embedded Domain Specific...
متن کاملSystem Modeling and Design Refinement in ForSyDe
Advances in microelectronics allow the integration of more and more functionality on a single chip. Emerging system-on-a-chip architectures include a large amount of heterogeneous components and are of increasing complexity. Applications using these architectures require many low-level details in order to yield an efficient implementation. On the other hand constant time-to-market pressure on e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2008
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2008.02.011